Merge pull request #1316 from davidcunado-arm/dc/version_update
authordanh-arm <[email protected]>
Tue, 20 Mar 2018 16:50:44 +0000 (16:50 +0000)
committerGitHub <[email protected]>
Tue, 20 Mar 2018 16:50:44 +0000 (16:50 +0000)
Release v1.5: Update minor version number to 5


Trivial merge